Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
311	Carl Eastlund Northeastern University College of Computer and Information Science West Village H 330 Boston, MA 02115 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2014-03-30 13:34:33 Functional languages Year of birth missing Automated theorem proving ACL2 Lisp programming language Formal methods Matthias Felleisen Racket Theorem prover Software engineering Computing Computer programming
312	Abstract Runtime Monitoring with USE Lars Hamann L´aszl´o Vid´acs Martin Gogolla Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2012-01-27 03:50:41 Unified Modeling Language Formal methods Java platform Knowledge representation Object Constraint Language ECO KeY Runtime verification Software development process Computing Software Cross-platform software
313	Regular Expressions for Languages over Infinite Alphabets (Extended abstract) Michael Kaminski1 and Tony Tan2 1 Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Applied mathematics Computer science Regular language Symbol Alphabet Ω-automaton Formal languages Automata theory Mathematics
314	SemEval-2014 Task 6: Supervised Semantic Parsing of Robotic Spatial Commands Kais Dukes School of Computing, University of Leeds Leeds LS2 9JT, United Kingdom Add to Reading List Source URL: www.kaisdukes.com Language: English Formal languages Compiler construction Corpus linguistics Semantics Parsing Treebank Natural language processing SemEval SYNTAX Linguistics Computational linguistics Science
315	BRICS Basic Research in Computer Science BRICS RS-03-7 Brabrand et al.: The METAFRONT System: Extensible Parsing and Transformation Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-02-27 03:29:28 Computing LR parser Parsing Bottom-up parsing LL parser Top-down parsing Formal grammar Context-free grammar Terminal and nonterminal symbols Formal languages Software engineering Programming language implementation
316	PDF Document Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2009-03-05 12:47:57 Nested word Words Pushdown automaton Context-free language Symbol Finite-state machine Mathematics Linguistics Computing Automata theory Models of computation Formal languages
317	VOLT 2014 Workshop Report Moussa Amrani1 , Eugene Syriani2 , Manuel Wimmer3 , Robert Bill3 , Martin Gogolla4 , Frank Hermann5 , and Kevin Lano6 1 University of Namur, Belgium Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2014-12-03 03:08:26 Software Graph rewriting VIATRA Formal methods Logic in computer science Object Constraint Language Model transformation language Kermeta Formal verification Unified Modeling Language Systems engineering Software engineering
318	Developing Bigraphical Languages Troels Christoffer Damgaard A PhD Dissertation Presented to the Faculty of the IT University of Copenhagen in Partial Fulfillment of the Requirements of the PhD Degree Add to Reading List Source URL: www.itu.dk Language: English - Date: 2008-12-10 11:30:39 Science Bigraph Calculus Formal language Logic Process calculus Theoretical computer science Mathematics Applied mathematics
319	Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz1 , Francesco Logozzo2 , Manuel F¨ahndrich2 ´ Ecole normale sup´erieure, Paris, France Add to Reading List Source URL: mehdi.bouaziz.org Language: English - Date: 2014-01-23 20:24:46 Computing Postcondition Design by contract Abstract interpretation Programming language Formal verification Precondition Class Software engineering Theoretical computer science Logic in computer science
320	A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Sandie Balaguer, Thomas Chatain, Stefan Haar LSV – ENS Cachan, INRIA, CNRS – France Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2011-01-31 10:48:50 Petri net Formal language Computer science Mathematics Applied mathematics Models of computation Concurrency Diagrams

UPDATE